Formal sciences - PDFSEARCH.IO - Document Search Engine

Formal sciences
Results: 2816

#	Item
851	High-end Competitive Data Analytics with XRF2 Drive Competitive Advantage with XRF2 Add to Reading List Source URL: unilogcorp.com Language: English - Date: 2014-01-30 00:39:34 Formal sciences Business intelligence Software as a service Software distribution Software industry Big data Product information management Analytics Technology Business Computing
852	PDF Document Add to Reading List Source URL: www.nyc.gov Language: English - Date: 2013-04-18 14:14:54 Formal sciences Business intelligence Analytics Data sharing Knowledge Business Science Government of New York City New York City Department of Information Technology and Telecommunications
853	This article was downloaded by:[Canadian Research Knowledge Network] On: 18 April 2008 Access Details: [subscription numberPublisher: Routledge Informa Ltd Registered in England and Wales Registered Number: 1 Add to Reading List Source URL: cogsci.uwaterloo.ca Language: English - Date: 2008-12-17 11:34:05 Philosophy of law Formal sciences Social philosophy Naturalism Willard Van Orman Quine Norm Rationality Decision theory Rational choice theory Philosophy Knowledge Science
854	PLANT BIOINFORMATICS Tools MATTHIAS KLAPPERSTÜCK, HENDRIK MEHLHORN, ASTRID JUNKER, KAMBIZ BAGHALIAN, TOBIAS CZAUDERNA, EVA GRAFAHRENDBELAU, ANJA HARTMANN, HENDRIK ROHN AND FALK SCHREIBER VANTED FRAMEWORK The VANTED fram Add to Reading List Source URL: www.cls.zju.edu.cn Language: English - Date: 2013-06-17 21:43:16 Bioinformatics Knowledge Formal sciences BioPAX Genetics Molecular biology Systems Biology Graphical Notation Integrative bioinformatics Visualization Biology Science Systems biology
855	The Future of Formal Software Verification in Avionics Yannick Moy Formal Methods 2012 Industry Day Background Add to Reading List Source URL: fm2012.cnam.fr Language: English - Date: 2013-06-18 10:17:21 Formal sciences Mathematical logic Model theory Proof theory Logic in computer science Design by contract Mathematical proof Formal methods DO-178C Mathematics Logic Science
856	ParsCit: An open-source CRF reference string parsing package Isaac G. Councill∗ , C. Lee Giles∗, Min-Yen Kan† ∗ College of Information Sciences & Technology The Pennsylvania State University Add to Reading List Source URL: aye.comp.nus.edu.sg Language: English - Date: 2010-07-06 02:40:58 Formal languages Bibliography N-gram Speech recognition Conditional random field Parsing Author citation String Citation Science Information science Library science
857	By Charlotte Kissmeyer, DABF Intern BIG DATA is the World’s new economic asset. But what exactly is big data, and how do Danish companies capitalize on it? DABF gathered three specialists on September 23rd to shed ligh Add to Reading List Source URL: www.dabf.dk Language: English - Date: 2014-10-09 04:29:09 Formal sciences Business Analytics Mathematical finance Business analytics Big data Business intelligence Technology Data management
858	SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTIFICIAL INTELLIGENCE John McCarthy and Patrick J. Hayes Computer Science Department Stanford University Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:16:21 Academia Branches of philosophy Formal sciences Alan Turing Interdisciplinary fields Intelligence Epistemology Logic Common sense Science Knowledge Philosophy of artificial intelligence
859	CALL FOR PAPERS Thirtieth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICSJuly 6–10, 2015, Kyoto, Japan http://lics.rwth-aachen.de/lics15/ Add to Reading List Source URL: lics.rwth-aachen.de Language: English - Date: 2015-01-16 03:22:08 Formal sciences Mathematical logic Logic in computer science IEEE Symposium on Logic in Computer Science Philosophical logic Kleene award Theoretical computer science Modal logic Description logic Logic Science Non-classical logic
860	An Optimizing Neuroeconomic Model of Discrete Choice∗ Michael Woodford Columbia University February 2, 2014 Add to Reading List Source URL: www.columbia.edu Language: English - Date: 2014-02-02 22:28:22 Formal sciences Decision theory Statistical models Stochastic processes Statistical randomness Discrete choice Rational choice theory Randomness Control theory Statistics Knowledge Science

UPDATE